Hierarchical supervisory control of discrete event systems based on H-observability
نویسندگان
چکیده
A hierarchical consistency problem for the hierarchical supervisory control of discrete event systems under partial observation is considered, since observability is a practical and general property in real systems. The notion of H-observability is introduced to ensure hierarchical consistency between lowand high-level systems, and an analytical framework for the hierarchical supervisory control is established.
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملDiscrete-Event Control of Nondeterministic Systems
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced in [6] and [7]. This formalism has been used in [26] (also [14] and [15]) for obtaining various results on supervisory control ...
متن کاملar X iv : c s / 06 05 10 7 v 1 [ cs . L O ] 2 4 M ay 2 00 6 Supervisory Control of Fuzzy Discrete Event Systems with Partial Observations ∗
Our goal is to set up Controllability and Observability Theorem of fuzzy discrete event systems (FDESs), in which the observability and controllability of events may be fuzzy instead. In particular, we present a detailed computing flow to verify whether the controllability and observability conditions hold. Thus, this result can decide the existence of supervisors. As well, this computing metho...
متن کامل